The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...) structured theory presentations. In this paper a rudimentary language of structured theory presentations is presented, and the use of this structure in proof search for an arbitrary object logic is explored. The behaviour of structured theory presentations under representation in a logical framework is studied, focusing on the problem of “lifting” presentations from the object logic to the metalogic of the framework. The topic of imposing structure on logic presentations, so that logical systems may themselves be defined in a modular fashion, is also briefly considered. (shrink)

The influence of historiography on aspects of political thought in France, Italy and Germany. In recent years the overlap between political thought and historiography has changed the boundaries of intellectual history. Donald Kelley, the longtime editor of The Journal of the History of Ideas has played a leading part in this process. These essays by his friends and former students follow in his footsteps. The collection is divided into three parts: France, England [six essays], and Italy and Germany [four (...) essays]. Anthony Grafton and John Salmon provide an introduction, and the volume concludes with a bibliography of Donald Kelley's many works. Historians and Ideologues is designed for those with an interest in the contribution of historiography to political thought, and will be a timely addition to the growing reaction against the postmodern scepticism in historiographical research in this field. Contributors include Ann Blair, Julian Franklin, Kathleen Parrow, David Harris Sacks, Sarah Hanley, Daniel Woolf, Gordon Schochet, Joseph Levine, John Pocock, Perez Zagorin, William Connell, Donald Phillip Verene, and Michael Carhart. Anthony Grafton is a Professor in the Department of History at Princeton University. John Salmon is the Marjorie Walter Goodheart Emeritus Professor of History at Bryn Mawr College. (shrink)

In "Amazing Grace," the best-loved of all hymns, John Newton's allusions to the drama of his life tell the story of a youth who was a virtual slave in Sierra Leone before ironically becoming a slave trader himself. Liverpool, his home port, was the center of the most colossal, lucrative, and inhumane slave trade the world has ever known. A gradual spiritual awakening transformed Newton into an ardent evangelist and anti-slavery activist. Influenced by Methodists George Whitefield and John (...) Wesley, Newton became prominent among those favoring a Methodist-style revival in the Church of England. This movement stressed personal conversion, simple worship, emotional enthusiasm, and social justice. While pastoring a poor flock in Olney, he and poet William Cowper produced a hymnal containing such perennial favorites as "Glorious Things of Thee Are Spoken" and "God Moves in a Mysterious Way." Later, while serving a church in London, Newton raised British consciousness on the immorality of the slave trade. The account he gave to Parliament on the atrocities he had witnessed helped William Wilberforce obtain legislation to abolish the slave trade in England. Newton's life story convinced many who are "found" after being "lost" to sing Gospel hymns as they lobbied for civil rights legislation. His close involvement with both capitalism and evangelicalism, the main economic and religious forces of his era, provide a fascinating case study of the relationship of Christians to their social environment. In an afterword on Newtonian Christianity, Phipps explains Newton's critique of Karl Marx's thesis that religious ideals are always the effect of what produces the most profit. Phipps relies on accounts Newton gives in his ship journal, diary, letters, and sermons for this most readable scholarly narrative. (shrink)

At his death in 1945, the influential German philosopher Ernst Cassirer left manuscripts for the fourth and final volume of his magnum opus, _The Philosophy of Symbolic Forms_. John Michael Krois and Donald Phillip Verene have edited these writings and translated them into English for the first time, bringing to completion Cassirer's major treatment of the concept of symbolic form. Ernst Cassirer believed that all the forms of representation that human beings use—language, myth, art, religion, history, science—are symbolic, (...) and the concept of symbolic forms was the basis of his thinking on these subjects. In this volume, which contains one text written in 1928 and another in about 1940, Cassirer presents the metaphysics that is implicit in his epistemology and phenomenology of culture. The earlier text grounds the philosopher's conception of symbolic forms on a notion of human nature that makes a general distinction between Geist and life. In the later text, he discusses Basis Phenomena, an original concept not mentioned in any of his previous works, and he compares his own viewpoint with those of other modern philosophers, notably Bergson and Heidegger. (shrink)

This chapter contains sections titled: The False Dilemma Begging the Question Two Wrongs The Straw Man The Slippery Slope Conclusion.

Donald Capps and John Capps's James and Dewey on Belief and Experience juxtaposes the key writings of two philosophical superstars. As fathers of Pragmatism, America's unique contribution to world philosophy, their work has been enormously influential, and remains essential to any understanding of American intellectual history. In these essays, you'll find William James deeply embroiled in debates between religion and science. Combining philosophical charity with logical clarity, he defended the validity of religious experience against crass forms of scientism. (...) Dewey identified the myriad ways in which supernatural concerns distract religious adherents from pressing social concerns, and sought to reconcile the tensions inherent in science's dual embrace of common sense and the aesthetic. James and Dewey on Belief and Experience is divided into two sections: the former showcases James, the latter is devoted to Dewey. Two transitional passages in which each reflects on the work of the other bridge these two main segments. Together, the sections offer a unique perspective on the philosophers' complex relationship of influence and interdependence. An editors' introduction provides biographical information about both men, an overview of their respective philosophical orientations, a discussion of the editorial process, and a brief commentary on each of the selections. Comparing what these foremost pragmatists wrote on both themes illumines their common convictions regarding the nature of philosophical inquiry and simultaneously reveals what made each a distinctive thinker. (shrink)

This chapter contains sections titled: Threat Disguised as Reason Appeal to Inappropriate Authority Appeal to the Public Targeting the Person Accusing a Person of Hypocrisy The Appeal to Pity The Appeal to Ignorance The Use of Equivocal Language The Use of Amphiboly Conclusion.

Published in 1918, _The View of Life_ is Georg Simmel’s final work. Famously deemed “the brightest man in Europe” by George Santayana, Simmel addressed a variety of topics across his essayistic writings, which have influenced scholars in aesthetics, ethics, epistemology, and sociology. Nevertheless, a set of core issues emerged over the course of his career, most centrally the genesis, structure, and transcendence of social and cultural forms and the nature and genesis of authentic individuality. Composed in the years before his (...) death, _The View of Life_ was, according to Simmel, his “testament,” a capstone work of profound metaphysical inquiry intended to formulate his conception of life in its entirety. Now Anglophone readers can at last read in full the work that shaped the argument of Heidegger’s _Being and Time_ and whose extraordinary impact on European intellectual life between the wars was extolled by Jürgen Habermas. Presented alongside these seminal essays are aphoristic fragments from Simmel’s last journal, providing a beguiling look into the mind of one of the twentieth century’s greatest thinkers. (shrink)

Self-organized complexity in the physical, biological, and social sciences Donald L Turcotte*f and John B. Rundle* *Department of Earth and Atmospheric ...

Contemporary philosophers interested in value theory appear to be largely concerned with questions of the following sort:What is value?What is the meaning of the word ‘good’?Does the attribution of value to an object have a cognitive, or merely an emotive, significance?The first question is metaphysical; to ask it is analogous to asking in physics:What is matter?What is electricity?The others are generally treated as semantical questions; to ask them is analogous to asking in statistics:What is the meaning of the word ‘probable’?Does (...) an attribution of probability express an objective fact, or merely a subjective attitude? (shrink)

Those designing sustainable development implementation schemes will inevitably look to scientists to help them understand sustainable development problems. Scientists have already made important contributions to the understanding of many serious environmental problems, such as the causal relationship between certain synthetic chemicals and destruction of the ozone layer. If scientists had not identified the relationship between upper atmospheric ozone concentrations and releases of chloroflorocarbons, government decisionmakers would not have agreed to action limiting their production. However, although causes and effects of some (...) environmental problems are understood well, others are not, such as the timing and magnitude of climate change caused by greenhouse gases. If global environmental problems are serious, there is an obvious and urgent need to increase scientific understanding of which human actions cause environmental degradation and how nations can proceed with needed development programs without causing further environmental damage. (shrink)

This chapter contains sections titled: The False Cause Fallacy Hasty Generalizations Failure to Take Context into Account Suppressing Relevant Evidence The Gambler's Fallacy Affirming the Consequent/Denying the Antecedent The Fallacies of Composition and Division Missing the Forest for the Trees.

This chapter contains sections titled: The Relevance of Context Differentiating the Rational from the Irrational Rationality and Acting Prudentially Having Good Reasons for What We Believe Beliefs Have Practical Consequences The Desire to Appear Intelligent to Others.